COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	 Basic lisp functions and theorems for ekl
C00003 ENDMK
C⊗;
;;; Basic lisp functions and theorems for ekl

(decl (append) |ground⊗ground→ground| constant)
(decl (reverse) |ground→ground| constant)

(decl assoc |ground⊗ground → ground| constant)
(decl alist ground constant)

(axiom |∀x alist.assoc(x,alist) = if null alist then nil
else if x = caar alist then car alist
else assoc(x, cdr alist)|)